Non-wellfounded trees in Homotopy Type Theory Benedikt Ahrens 1 Institut 1

Source URL: benedikt-ahrens.de

Ramsey-type graph coloring and diagonal non-computability Ludovic Patey Abstract A function is diagonally non-computable (d.n.c.) if it diagonalizes against the universal partial computable function. D.n.c. functions pla

Source URL: ludovicpatey.com

• Computability theory
• Theory of computation
• Mathematics
• Theoretical computer science
• Mathematical analysis
• Computable function
• Sigma-algebra
• Generalised Whitehead product

Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré

Source URL: benedikt-ahrens.de

Models of type theory in univalent mathematics B. Ahrens, about jww P. LeF. Lumsdaine, V. Voevodsky Institut de Recherche en Informatique de Toulouse Université Paul Sabatier

Source URL: benedikt-ahrens.de

Hereditarily Finite Sets in Constructive Type Theory Gert Smolka and Kathrin Stark Saarland University May 29, 2016 To appear in Proc. of ITP 2016, Nancy, France, Springer LNCS

Source URL: www.ps.uni-saarland.de

Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply)

Source URL: ndmitchell.com

• Data types
• Software engineering
• Computing
• Computer programming
• Functional programming
• Type class
• Type theory
• Haskell features
• Boolean data type

AUTOMORPHISMS OF FUSION SYSTEMS OF FINITE SIMPLE GROUPS OF LIE TYPE CARLES BROTO, JESPER M. MØLLER, AND BOB OLIVER Abstract. For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusi

Source URL: www.math.univ-paris13.fr

• Algebra
• Abstract algebra
• Group theory
• Finite groups
• Sylow theorems
• P-group
• Group extension
• Automorphism
• Abelian group
• PSL
• Center
• Group of Lie type

ETH-Latsis08 - Invited speakers S-17 Slater-type geminals in molecular electronic-structure theory

Source URL: www.latsis2008.ethz.ch

The strength of Martin-L¨of type theory with a superuniverse. Part II Michael Rathjen∗ School of Mathematics, University of Leeds, Leeds LS2 9JT, UK Abstract

Source URL: www1.maths.leeds.ac.uk

Linguistic Issues in Language Technology – LiLT Submitted, January 2012 Parallel Syntactic Annotation in CReST Sandra Kübler

Source URL: cl.indiana.edu

• Linguistics
• Language
• Computational linguistics
• Corpus linguistics
• Syntax
• Type theory
• Semantics
• Treebank
• Combinatory categorial grammar
• Text corpus
• Annotation
• Dependency grammar